1. AFRICACRYPT 2019-Progress in Cryptology

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer security. ; Computer Communication Networks. ; Computer science. ; Coding theory. ; Software engineering. ; Systems and Data Security. ;

2. Combinatorial Optimization :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Computer software.,Systems theory.

رده :
QA402
.
5
E358
1992

3. Communication-Based Systems

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra.,Computer science.,Mathematics.,Software engineering.,Systems theory.

4. Complex systems in knowledge based environments : theory, models and applications

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Knowledge representation )Information theory(,، Expert systems )Computer science(,، Intelligent agents )Computer software(

رده :
Q
387
.
C65

5. Complex systems in knowledge-based environments :theory, models and applications

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)

موضوع : ، Knowledge representation-Information theory,، Expert systems -Computer science,، Intelligent agents -Computer software,، Representation des connaissances,، Systemes experts -Informatique

رده :
Q
387
.
C66
2009

6. Domain of Attraction

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : CONTROL SYSTEMS& METHODS|AUTOMATION &COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY

رده :
E-BOOK

7. Formal Aspects of Component Software

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer Science; Software Engineering; Theory of Computation; Mathematical Logic and Foundations; Information Systems and Communication Service

8. Formal Modeling and Analysis of Timed Systems

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : CONTROL SYSTEMS& METHODS|AUTOMATION &COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY

رده :
E-BOOK

9. High Integrity Software

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Electronic data processing.,Software engineering.,Systems theory.

10. Perspectives on Software Requirements

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Computer-aided design.,Mathematics.,Software engineering.,Systems theory.

11. Software engineering and knowledge engineering

کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)

موضوع : Software engineering,Expert systems (Computer science),Knowledge representation (Information theory)

رده :
QA76
.
758
.
S6456
1995

12. Software engineering and knowledge engineering: trends for the next decade

موضوع : ، Software engineering,، Expert systems )Computer science(,، Knowledge representation )Information theory(

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

13. Synchronous Programming of Reactive Systems

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Information theory.,Operating systems (Computers),Software engineering.

14. based environments-Complex systems in knowledge

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Knowledge representation (Information theory) ; Expert systems (Computer science) ; Intelligent agents (Computer software) ; Repr?sentation des connaissances. ; Syst?mes experts (Informatique) ; Agents intelligents (Logiciels) ; Komplexes System. ; swd. ;